Input-driven languages are linear conjunctive

نویسنده

  • Alexander Okhotin
چکیده

Linear conjunctive grammars define the same family of languages as one-way real-time cellular automata (A. Okhotin, “On the equivalence of linear conjunctive grammars to trellis automata”, RAIRO ITA, 2004), and this family is known to be incomparable with the context-free languages (V. Terrier, “On real-time one-way cellular array”, Theoret. Comput. Sci., 1995). This paper demonstrates the containment of the languages accepted by input-driven pushdown automata (a.k.a. visibly pushdown automata) in the family of linear conjunctive languages, which is established by a direct simulation of an input-driven automaton by a one-way real-time cellular automaton. On the other hand, it is shown that the language families defined by the unambiguous grammars, the LR(k) grammars and the LL(k) grammars are incomparable with the linear conjunctive languages.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Top-Down Parsing of Conjunctive Languages

This paper generalizes the notion of a strong LL(k) context-free grammar for the case of conjunctive grammars and develops a top-down parsing algorithm for the resulting language family. A top-down parser of a conjunctive language attempts to construct a derivation of the input string, at each step using a nite lookahead to determine which grammar rule to apply. Fragments of formulae that form ...

متن کامل

On a new family of automata

This paper introduces a new family of automata that turns out to be computationally equivalent to linear conjunctive grammars. Although, if viewed as a practical tool for describing practical languages, these automata are not nearly as convenient as linear conjunctive grammars are, they can be reasonably expected to be highly suitable for use in applications as a low-level computational model, ...

متن کامل

CONTROL OF CHAOS IN A DRIVEN NON LINEAR DYNAMICAL SYSTEM

We present a numerical study of a one-dimensional version of the Burridge-Knopoff model [16] of N-site chain of spring-blocks with stick-slip dynamics. Our numerical analysis and computer simulations lead to a set of different results corresponding to different boundary conditions. It is shown that we can convert a chaotic behaviour system to a highly ordered and periodic behaviour by making on...

متن کامل

Functional Description of Geoprocessing Services as Conjunctive Queries

Discovery of suitable web services is a crucial task in spatial data infrastructures. We present a novel approach to the semantic discovery of Geoprocessing Services (WPS). Requests and WPS are annotated as conjunctive queries in a logic programming (LP) language and the discovery process is based on LP query containment checking between these descriptions. Besides the types of input and output...

متن کامل

Homomorphisms Preserving Trellis Languages

It is proved that a homomorphism h preserves the class of languages recognized by trellis automata augmented with the capacity of handling the empty string (or, equivalently, generated by linear conjunctive grammars) if and only if either h is injective, or h maps every symbol to the empty string. The transformation is effective in the former case and cannot be effectively done in the latter.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 618  شماره 

صفحات  -

تاریخ انتشار 2016